801. 27, 2011, Tutorial Lectures-Reasoning Web. Semantic Technologies for the Web of Data: 7th International Summer School 2011, Galway, Ireland, August 23
پدیدآورنده: / Schneider (eds.)-Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patelبren Auer, Jens Lehmann (auth.), Axel Polleres, Claudia dSن
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
802. Type Theory and Formal Proof: An Introduction
پدیدآورنده: / Professor Rob Nederpelt, Professor Herman Geuvers
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
803. Understanding Agent Systems
پدیدآورنده: by Mark d'Inverno, Michael Luck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
804. Unifying the Software Process Spectrum
پدیدآورنده: edited by Mingshu Li, Barry Boehm, Leon J. Osterweil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information Systems.,Software engineering.,Software engineering.,Computer Appl. in Administrative Data Processing.,Computers and Society.,Management of Computing and Information Systems.,Programming Techniques.,Software Engineering/Programming and Operating Systems.
805. User Interface Management and Design :
پدیدآورنده: edited by David A. Duce, M. Rui Gomes, F. Robert A. Hopgood, John R. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,User interfaces (Computer systems)
رده :
QA76
.
9
.
U83
E358
1991
806. Using OpenMP - the next step :
پدیدآورنده: Ruud van der Pas, Eric Stotzer, and Christian Terboven.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: OpenMP (Application program interface),OpenMP (Application program interface),Application program interfaces (Computer software),Parallel programming (Computer science),Application program interfaces (Computer software),Parallel programming (Computer science)
رده :
QA76
.
642
.
P427
2017
807. Using and Improving OpenMP for Devices, Tasks, and More
پدیدآورنده: / llerیLuiz DeRose, Bronis R. Supinski, Stephen L. Olivier, Barbara M. Chapman, Matthias S. M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
808. VHDL 101 : Everything you need to know to get started
پدیدآورنده: / Kafig, William
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC& ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
809. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
پدیدآورنده: / Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
810. Verification and validation in systems engineering
پدیدآورنده: / Mourad Debbabi ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Systems engineering,Expert systems (Computer science) -- Verification,Expert systems (Computer science) -- Validation,UML (Computer science),SysML (Computer science)
رده :
QA
76
.
76
.
E95
V47
2010
811. Virtual Environments '98 :
پدیدآورنده: edited by Martin Göbel, Jürgen Landauer, Ulrich Lang, Matthias Wapler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1998
812. Virtual Environments and Scientific Visualization '96 :
پدیدآورنده: edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1996
813. Visual Indexing and Retrieval
پدیدآورنده: / ric Precioso, Matthieu Cord (auth.)فdفPineau, Fr-Jenny Benois
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
814. Visualization in Scientific Computing
پدیدآورنده: edited by Michel Grave, Yvon Lous, W. Terry Hewitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1994
815. Web Information Systems Engineering \U+2013\ WISE 2013
پدیدآورنده: edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computers.,Data mining.,Software engineering.
816. Web services and formal methods :
پدیدآورنده: Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
817. Web services foundations /
پدیدآورنده: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
رده :
TK5105
.
88813
818. 50-101 Windows Phone 7 Apps, Volume I: Developing Apps 1
پدیدآورنده: / Adam Nathan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
819. Winning LEGO MINDSTORMS Programming
پدیدآورنده: / James Trobaugh, Mannie Lowe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
820. core MIPS Machine-A Pipelined Multi
پدیدآورنده: / ller, Wolfgang J. PaulیMikhail Kovalev, Silvia M. M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
